TSTP Solution File: SYN374^5 by SETHEO---3.3